https://filesoo.com/product/47571/computation-finite-and-infinite-machines